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)