Package org.projog.core.predicate.udp

Class DefiniteClauseGrammerConvertor

java.lang.Object

org.projog.core.predicate.udp.DefiniteClauseGrammerConvertor

final class DefiniteClauseGrammerConvertor
extends java.lang.Object

Provides support for Definite Clause Grammars (DCG).

DCGs provide a convenient way to express grammar rules.

Constructor Summary

Constructors

Constructor	Description
DefiniteClauseGrammerConvertor()

Method Summary

Modifier and Type	Method	Description
private static Term	appendToEndOfList(Term list, Term newTail)
(package private) static Term	convert(Term dcgTerm)
private static Term	convertConjunctionOfAtomsAntecedent(Term consequent, Term[] conjunctionOfAtoms)
private static Term	convertSingleListTermAntecedent(Term consequent, Term antecedent)
private static Term	createNewPredicate(Term original, Term previous, Term next)
private static Term	getAntecedent(Term dcgTerm)
private static Term	getConsequent(Term dcgTerm)
private static boolean	hasSingleListWithSingleAtomElement(Term[] terms)
(package private) static boolean	isDCG(Term dcgTerm)

Methods inherited from class java.lang.Object

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

Constructor Detail

DefiniteClauseGrammerConvertor

DefiniteClauseGrammerConvertor()

Method Detail

isDCG

static boolean isDCG(Term dcgTerm)

convert

static Term convert(Term dcgTerm)

Parameters:

dcgTerm - predicate with name "-->" and two arguments

convertSingleListTermAntecedent

private static Term convertSingleListTermAntecedent(Term consequent,
                                                    Term antecedent)

convertConjunctionOfAtomsAntecedent

private static Term convertConjunctionOfAtomsAntecedent(Term consequent,
                                                        Term[] conjunctionOfAtoms)

appendToEndOfList

private static Term appendToEndOfList(Term list,
                                      Term newTail)

createNewPredicate

private static Term createNewPredicate(Term original,
                                       Term previous,
                                       Term next)

getConsequent

private static Term getConsequent(Term dcgTerm)

getAntecedent

private static Term getAntecedent(Term dcgTerm)

hasSingleListWithSingleAtomElement

private static boolean hasSingleListWithSingleAtomElement(Term[] terms)