public class CELT
extends java.lang.Object
| Constructor and Description |
|---|
CELT()
Create a running instance of CELT.
|
| Modifier and Type | Method and Description |
|---|---|
static void |
main(java.lang.String[] args) |
java.lang.String |
submit(java.lang.String sentence)
Submit a sentence, terminated by a period or question mark and
return a KIF formula that is equivalent.
|
public CELT()
throws java.io.IOException
java.io.IOException - should not normally be thrown unless either
Prolog executable or CELT startup file name are incorrectpublic java.lang.String submit(java.lang.String sentence)
throws java.io.IOException
sentence - java.io.IOException - should not normally be thrownpublic static void main(java.lang.String[] args)