alice.tuprolog.hgdb

Class HGPrologLibrary

java.lang.Object

alice.tuprolog.Library

alice.tuprolog.hgdb.HGPrologLibrary

All Implemented Interfaces:

IPrimitives, Serializable

public class HGPrologLibrary
extends Library

See Also:

Serialized Form

Field Summary

Fields inherited from class alice.tuprolog.Library

engine

Constructor Summary

Constructors

Constructor and Description
HGPrologLibrary()

Method Summary

Methods

Modifier and Type	Method and Description
static HGPrologLibrary	attach(org.hypergraphdb.HyperGraph graph, Prolog prolog)
HyperGraphStoreFactory	getClauseFactory()
String	getName() Gets the name of the library.
boolean	hg_atom_1(Term t) Return true if the term is a HyperGraph atom and false otherwise.
boolean	hg_bind_2(Term condition, Term clause) Bind a Prolog clause (a Struct spec in the form of a name and arity) to a HyperGraphDB condition.
Term	hg_clause_condition_1(Term clause)
boolean	hg_clause_condition_2(Term clause, Term id)
Term	hg_count_1(Term clause)
Term	hg_find_all_1(Term condition)
boolean	hg_unbind_1(Term clause) Remove a clause binding from the HyperGraphDB clause store.

Methods inherited from class alice.tuprolog.Library

dismiss, evalExpression, getEngine, getPrimitives, getSynonymMap, getTheory, match, onSolveBegin, onSolveEnd, unify

Methods inherited from class java.lang.Object

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

Constructor Detail

HGPrologLibrary

public HGPrologLibrary()

Method Detail

attach

public static HGPrologLibrary attach(org.hypergraphdb.HyperGraph graph,
                     Prolog prolog)

getName

public String getName()

Description copied from class: Library

Gets the name of the library. By default the name is the class name.

Overrides:

getName in class Library

Returns:

the library name

getClauseFactory

public HyperGraphStoreFactory getClauseFactory()

hg_bind_2

public boolean hg_bind_2(Term condition,
                Term clause)

Bind a Prolog clause (a Struct spec in the form of a name and arity) to a HyperGraphDB condition.

Parameters:

condition -

clause -

Returns:

hg_unbind_1

public boolean hg_unbind_1(Term clause)

Remove a clause binding from the HyperGraphDB clause store.

Parameters:

clause -

Returns:

hg_clause_condition_1

public Term hg_clause_condition_1(Term clause)

hg_clause_condition_2

public boolean hg_clause_condition_2(Term clause,
                            Term id)

hg_find_all_1

public Term hg_find_all_1(Term condition)

hg_count_1

public Term hg_count_1(Term clause)

hg_atom_1

public boolean hg_atom_1(Term t)

Return true if the term is a HyperGraph atom and false otherwise.

Parameters:

t -

Returns: