Package edu.tufts.hrilab.belief.provers.prolog

Class PrologUtil

java.lang.Object

edu.tufts.hrilab.belief.provers.prolog.PrologUtil

public class PrologUtil
extends Object

Constructor Summary

Constructors

Constructor	Description
PrologUtil()

Method Summary

Modifier and Type	Method	Description
static Predicate	convertCompoundToAdeForm(alice.tuprolog.Struct s, Map<String,String> nullaryPreds, Map<String,String> types)	Helper method to recursively construct DIARC Symbol/Predicate from compound prolog Term (i.e., struct).
static String	convertFunctorName(String functorName)	Convert prolog functor name to DIARC functor name.
static Symbol	convertToAdeForm(alice.tuprolog.Term term)	Convert a prolog Term to a DIARC Term.
static Symbol	convertToAdeForm(alice.tuprolog.Term term, Map<String,String> nullaryPreds, Map<String,String> types)	Convert a prolog Term to a DIARC Term, using map of nullary predicates to retain nullary DIARC predicates since prolog can't handle nullary predicates.
static String	makePrologSafe(Term t)
static Symbol	undoMakePrologSafe(Symbol t)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PrologUtil

public PrologUtil()

Method Details

makePrologSafe

public static String makePrologSafe(Term t)

undoMakePrologSafe

public static Symbol undoMakePrologSafe(Symbol t)

convertToAdeForm

public static Symbol convertToAdeForm(alice.tuprolog.Term term)

Convert a prolog Term to a DIARC Term.

Parameters:

term -

Returns:

convertToAdeForm

public static Symbol convertToAdeForm(alice.tuprolog.Term term,
 Map<String,String> nullaryPreds,
 Map<String,String> types)

Convert a prolog Term to a DIARC Term, using map of nullary predicates to retain nullary DIARC predicates since prolog can't handle nullary predicates.

Parameters:

term - prolog Term

nullaryPreds -

Returns:

convertCompoundToAdeForm

public static Predicate convertCompoundToAdeForm(alice.tuprolog.Struct s,
 Map<String,String> nullaryPreds,
 Map<String,String> types)

Helper method to recursively construct DIARC Symbol/Predicate from compound prolog Term (i.e., struct).

Parameters:

s - prolog struct

nullaryPreds -

Returns:

convertFunctorName

public static String convertFunctorName(String functorName)

Convert prolog functor name to DIARC functor name.

Parameters:

functorName -

Returns: