These classes define the main data-structures stored to represent compiled programs: More...

Detailed Description

These classes define the main data-structures stored to represent compiled programs:

YAPFunctor represents a name/arity combination
YAPModule wraps the YAP module implementation
YAPPredicate and subclasses store the actual program, Preliminary support covers Prolog and C-defined predicates

Class Documentation

◆ YAPModule

class YAPModule

YAPModule A YAPModule describes a bare module, which in YAP is just a name.

Info about the module is in YAPModuleProp

Definition at line 46 of file yapdb.hh.

Inheritance diagram for YAPModule:

Public Member Functions
	YAPModule (YAP_Term t)

	YAPModule (YAPAtom t)

	YAPModule (YAPStringTerm t)

Term	term ()

Friends
class	YAPPredicate

class	YAPModuleProp

Additional Inherited Members
Protected Member Functions inherited from YAPAtomTerm
	YAPAtomTerm (Atom a)

	YAPAtomTerm (YAPAtom a)

	YAPAtomTerm (char s[])

	YAPAtomTerm (char *s, size_t len)

	YAPAtomTerm (wchar_t *s)

	YAPAtomTerm (wchar_t *s, size_t len)

bool	isVar ()
	term hash, More...

bool	isAtom ()
	type check for unbound More...

bool	isInteger ()
	type check for atom More...

bool	isFloat ()
	type check for integer More...

bool	isString ()
	type check for floating-point More...

bool	isCompound ()
	type check for a string " ... " More...

bool	isAppl ()
	is a primitive term More...

bool	isPair ()
	is a structured term More...

virtual bool	isGround ()
	is a pair term More...

virtual bool	isList ()
	term is ground More...

YAPAtom	getAtom ()
	[] is a list More...

const char *	text ()
	return a string with a textual representation of the term More...

Protected Member Functions inherited from YAPTerm
Term	gt ()
	handle to term, equivalent to term_t More...

Term	pop_t ()
	get the Prolog term corresponding to the YAPTerm, and try to recover More...

void	mk (Term t0)
	create a new YAPTerm from a term More...

void	put (Term t0)
	copy a term to an YAPTerm More...

	YAPTerm (Term tn)
	create an empty YAPTerm More...

	YAPTerm ()
	private method to convert from Term (internal YAP representation) to YAPTerm More...

	YAPTerm (void *ptr)
	pointer to term More...

	YAPTerm (char *s)
	parse string s and construct a term More...

virtual	~YAPTerm ()
	Term destructor, tries to recover slot. More...

YAP_tag_t	tag ()
	construct a term out of an integer (if you know object type use YAPIntegerTerm) YAPTerm(long int num) { mk(MkIntegerTerm(num)); } construct a term out of an integer (if you know object type use YAPIntegerTerm) YAPTerm(double num) { mk(MkFloatTerm(num)); } parse string s and construct a term More...

Term	deepCopy ()
	copy the term ( term copy ) More...

int	numberVars (int start, bool singletons=false)
	numbervars ( int start, bool process=false ) More...

Term	term ()

YAPTerm	arg (int i)
	from YAPTerm to Term (internal YAP representation) More...

void	bind (Term b)

void	bind (YAPTerm *b)

Term &	operator[] (arity_t n)
	from YAPTerm to Term (internal YAP representation) fetch a sub-term More...

virtual bool	exactlyEqual (YAPTerm t1)
	this term is == to t1 More...

virtual bool	unify (YAPTerm t1)
	t = t1 More...

virtual bool	unifiable (YAPTerm t1)
	we can unify t and t1 More...

virtual YAP_Term	variant (YAPTerm t1)
	t == t1, the two terms are equal up to variable renamingvirtual bool variant( More...

virtual intptr_t	hashTerm (size_t sz, size_t depth, bool variant)

virtual bool	isVar ()
	term hash, More...

virtual bool	isAtom ()
	type check for unound More...

virtual bool	isInteger ()
	type check for atom More...

virtual bool	isFloat ()
	type check for integer More...

virtual bool	isString ()
	type check for floating-point More...

virtual bool	isCompound ()
	type check for a string " ... " More...

virtual bool	isAppl ()
	is a primitive term More...

virtual bool	isPair ()
	is a structured term More...

virtual bool	isGround ()
	is a pair term More...

virtual bool	isList ()
	term is ground More...

virtual Term	getArg (arity_t i)
	term is a list More...

virtual arity_t	arity ()
	extract the arity of the term variables have arity 0 More...

virtual const char *	text ()
	return a string with a textual representation of the term More...

yhandle_t	handle ()
	return a handle to the term More...

bool	initialized ()
	whether the term actually refers to a live object More...

Protected Attributes inherited from YAPTerm
yhandle_t	hdl

Constructor & Destructor Documentation

◆ YAPModule() [1/4]

YAPModule ( YAP_Term t )

inline

Definition at line 53 of file yapdb.hh.

◆ YAPModule() [2/4]

YAPModule ( )

inline

Definition at line 54 of file yapdb.hh.

◆ YAPModule() [3/4]

YAPModule ( YAPAtom t )

inline

Definition at line 55 of file yapdb.hh.

◆ YAPModule() [4/4]

YAPModule ( YAPStringTerm t )

inline

Definition at line 56 of file yapdb.hh.

Member Function Documentation

◆ term()

Term term ( )

inline

Definition at line 57 of file yapdb.hh.

Friends And Related Function Documentation

◆ YAPModuleProp

friend class YAPModuleProp

friend

Definition at line 48 of file yapdb.hh.

◆ YAPPredicate

friend class YAPPredicate

friend

Definition at line 47 of file yapdb.hh.

◆ YAPModuleProp

class YAPModuleProp

YAPModuleProp A YAPModuleProp controls access to a module property.

Definition at line 65 of file yapdb.hh.

Inheritance diagram for YAPModuleProp:

Public Member Functions
	YAPModuleProp (YAPModule tmod)

virtual YAPModule	module ()

Public Member Functions inherited from YAPProp
virtual	~YAPProp ()
	get name of property virtual YAPAtom name(); More...

Friends
class	YAPPredicate

Constructor & Destructor Documentation

◆ YAPModuleProp() [1/2]

YAPModuleProp ( YAPModule tmod )

inline

Definition at line 73 of file yapdb.hh.

◆ YAPModuleProp() [2/2]

YAPModuleProp ( )

inline

Definition at line 74 of file yapdb.hh.

Member Function Documentation

◆ module()

virtual YAPModule module ( )

inlinevirtual

Reimplemented in YAPPredicate.

Definition at line 75 of file yapdb.hh.

Friends And Related Function Documentation

◆ YAPPredicate

friend class YAPPredicate

friend

Definition at line 66 of file yapdb.hh.

◆ YAPPredicate

class YAPPredicate

Predicates.

This class interfaces with PredEntry in Yatom

Definition at line 83 of file yapdb.hh.

Inheritance diagram for YAPPredicate:

Public Member Functions
	YAPPredicate (const char s0, Term &tout, YAPPairTerm &names, CELL *&nts)
	String constructor for predicates. More...

	YAPPredicate (YAPFunctor f)
	Functor constructor for predicates. More...

	YAPPredicate (YAPFunctor f, YAPTerm mod)
	Functor constructor for predicates, is given a specific module. More...

	YAPPredicate (YAPAtom at, YAPTerm mod)
	Name/arity constructor for predicates. More...

	YAPPredicate (YAPAtom at)
	Name/0 constructor for predicates. More...

	YAPPredicate (YAPAtom at, uintptr_t arity, YAPModule mod)
	Mod:Name/Arity constructor for predicates. More...

	YAPPredicate (YAPAtom at, uintptr_t arity)
	Atom/Arity constructor for predicates. More...

	YAPPredicate (const std::string at, uintptr_t arity, std::string mod="")
	std::string/Arity constructor for predicates More...

	YAPPredicate (const char *at, uintptr_t arity)
	char *‍/arity constructor for predicates More...

	YAPPredicate (const char *at, uintptr_t arity, YAPTerm mod)
	char *‍/module constructor for predicates More...

	YAPPredicate (const char *at, YAPTerm mod)
	char *‍/module constructor for predicates More...

YAPModule	module ()
	module of a predicate More...

YAPAtom	name ()
	name of predicate More...

YAPFunctor	functor ()
	functor of predicate More...

uintptr_t	getArity ()
	arity of predicate More...

arity_t	arity ()

PredEntry *	predEntry ()

Public Member Functions inherited from YAPModuleProp
	YAPModuleProp (YAPModule tmod)

virtual YAPModule	module ()

Public Member Functions inherited from YAPProp
virtual	~YAPProp ()
	get name of property virtual YAPAtom name(); More...

Protected Member Functions
PredEntry *	getPred (Term &t, Term &tm, CELL *&outp)
	auxiliary routine to find a predicate in the current module More...

PredEntry *	asPred ()

	YAPPredicate ()
	Empty constructor for predicates. More...

	YAPPredicate (Term &to, Term &tmod, CELL &ts, const char pname)

	YAPPredicate (Term t, CELL *&v)
	Term constructor for predicates. More...

	YAPPredicate (Term t)

	YAPPredicate (YAPTerm t, CELL *&v)
	Term constructor for predicates. More...

	YAPPredicate (YAPTerm t)

	YAPPredicate (PredEntry *pe)
	Cast constructor for predicates, if we have the implementation data. More...

	YAPPredicate (Functor f, Term mod)
	Functor constructor for predicates, is given a specific module. More...

Protected Attributes
PredEntry *	ap

Friends
class	YAPQuery

class	YAPEngine

Constructor & Destructor Documentation

◆ YAPPredicate() [1/19]

YAPPredicate ( )

inlineprotected

Empty constructor for predicates.

Just do nothing

Definition at line 100 of file yapdb.hh.

◆ YAPPredicate() [2/19]

YAPPredicate	(	Term &	to,
		Term &	tmod,
		CELL *&	ts,
		const char *	pname
	)

protected

Definition at line 70 of file yapi.cpp.

◆ YAPPredicate() [3/19]

YAPPredicate	(	Term	t,
		CELL *&	v
	)

inlineprotected

Term constructor for predicates.

It is just a call to getPred

Definition at line 106 of file yapdb.hh.

◆ YAPPredicate() [4/19]

YAPPredicate ( Term t )

inlineprotected

Definition at line 113 of file yapdb.hh.

◆ YAPPredicate() [5/19]

YAPPredicate	(	YAPTerm	t,
		CELL *&	v
	)

inlineprotected

Term constructor for predicates.

It is just a call to getPred

Definition at line 124 of file yapdb.hh.

◆ YAPPredicate() [6/19]

YAPPredicate ( YAPTerm t )

inlineprotected

Definition at line 128 of file yapdb.hh.

◆ YAPPredicate() [7/19]

YAPPredicate ( PredEntry * pe )

inlineprotected

Cast constructor for predicates, if we have the implementation data.

Definition at line 138 of file yapdb.hh.

◆ YAPPredicate() [8/19]

YAPPredicate	(	Functor	f,
		Term	mod
	)

inlineprotected

Functor constructor for predicates, is given a specific module.

This version avoids manufacturing objects

Definition at line 142 of file yapdb.hh.

◆ YAPPredicate() [9/19]

YAPPredicate	(	const char *	s0,
		Term &	tout,
		YAPPairTerm *&	names,
		CELL *&	nts
	)

inline

String constructor for predicates.

It also communicates the array of arguments t[] and the array of variables back to yapquery

Definition at line 152 of file yapdb.hh.

◆ YAPPredicate() [10/19]

YAPPredicate ( YAPFunctor f )

inline

Functor constructor for predicates.

Asssumes that we use the current module

Definition at line 175 of file yapdb.hh.

◆ YAPPredicate() [11/19]

YAPPredicate	(	YAPFunctor	f,
		YAPTerm	mod
	)

inline

Functor constructor for predicates, is given a specific module.

Definition at line 182 of file yapdb.hh.

◆ YAPPredicate() [12/19]

YAPPredicate	(	YAPAtom	at,
		YAPTerm	mod
	)

inline

Name/arity constructor for predicates.

Definition at line 188 of file yapdb.hh.

◆ YAPPredicate() [13/19]

YAPPredicate ( YAPAtom at )

Name/0 constructor for predicates.

Definition at line 1103 of file yapi.cpp.

◆ YAPPredicate() [14/19]

YAPPredicate	(	YAPAtom	at,
		uintptr_t	arity,
		YAPModule	mod
	)

inline

Mod:Name/Arity constructor for predicates.

Definition at line 198 of file yapdb.hh.

◆ YAPPredicate() [15/19]

YAPPredicate	(	YAPAtom	at,
		uintptr_t	arity
	)

Atom/Arity constructor for predicates.

Definition at line 1108 of file yapi.cpp.

◆ YAPPredicate() [16/19]

YAPPredicate	(	const std::string	at,
		uintptr_t	arity,
		std::string	mod = `""`
	)

inline

std::string/Arity constructor for predicates

Definition at line 213 of file yapdb.hh.

◆ YAPPredicate() [17/19]

YAPPredicate	(	const char *	at,
		uintptr_t	arity
	)

inline

char *‍/arity constructor for predicates

Definition at line 226 of file yapdb.hh.

◆ YAPPredicate() [18/19]

YAPPredicate	(	const char *	at,
		uintptr_t	arity,
		YAPTerm	mod
	)

inline

char *‍/module constructor for predicates

Definition at line 233 of file yapdb.hh.

◆ YAPPredicate() [19/19]

YAPPredicate	(	const char *	at,
		YAPTerm	mod
	)

inline

char *‍/module constructor for predicates

Definition at line 240 of file yapdb.hh.

Member Function Documentation

◆ arity()

arity_t arity ( )

inline

Definition at line 278 of file yapdb.hh.

◆ asPred()

PredEntry * asPred ( )

inlineprotected

Definition at line 95 of file yapdb.hh.

◆ functor()

YAPFunctor functor ( )

inline

functor of predicate

onlu defined if arity >= 1

Definition at line 267 of file yapdb.hh.

◆ getArity()

uintptr_t getArity ( )

inline

arity of predicate

we return a positive number

Definition at line 277 of file yapdb.hh.

◆ getPred()

PredEntry * getPred	(	Term &	t,
		Term &	m,
		CELL *&	out
	)

protected

auxiliary routine to find a predicate in the current module

Definition at line 1119 of file yapi.cpp.

◆ module()

YAPModule module ( )

inlinevirtual

module of a predicate

notice that modules are currently treated as atoms, this should change

Reimplemented from YAPModuleProp.

Definition at line 247 of file yapdb.hh.

◆ name()

YAPAtom name ( )

inline

name of predicate

notice that we return the atom, not a string

Definition at line 257 of file yapdb.hh.

◆ predEntry()

PredEntry * predEntry ( )

inline

Definition at line 279 of file yapdb.hh.

Friends And Related Function Documentation

◆ YAPEngine

friend class YAPEngine

friend

Definition at line 85 of file yapdb.hh.

◆ YAPQuery

friend class YAPQuery

friend

Definition at line 84 of file yapdb.hh.

Member Data Documentation

◆ ap

PredEntry* ap

protected

Definition at line 88 of file yapdb.hh.

◆ YAPPrologPredicate

class YAPPrologPredicate

PrologPredicate.

This class interfaces with Predicates Implemented in Prolog

Definition at line 287 of file yapdb.hh.

Inheritance diagram for YAPPrologPredicate:

Public Member Functions
	YAPPrologPredicate (YAPTerm t)

	YAPPrologPredicate (const char *s, arity_t arity)

	YAPPrologPredicate (YAPAtom s, arity_t arity)

bool	assertClause (YAPTerm clause, bool last=true, YAPTerm source=YAPTerm())
	add a new clause More...

bool	assertFact (YAPTerm *tuple, bool last=true)
	add a new tuple More...

void *	retractClause (YAPTerm skeleton, bool all=false)
	retract at least the first clause matching the predicate More...

YAPTerm *	nextClause ()
	return the Nth clause (if source is available) More...

Public Member Functions inherited from YAPPredicate
	YAPPredicate (const char s0, Term &tout, YAPPairTerm &names, CELL *&nts)
	String constructor for predicates. More...

	YAPPredicate (YAPFunctor f)
	Functor constructor for predicates. More...

	YAPPredicate (YAPFunctor f, YAPTerm mod)
	Functor constructor for predicates, is given a specific module. More...

	YAPPredicate (YAPAtom at, YAPTerm mod)
	Name/arity constructor for predicates. More...

	YAPPredicate (YAPAtom at)
	Name/0 constructor for predicates. More...

	YAPPredicate (YAPAtom at, uintptr_t arity, YAPModule mod)
	Mod:Name/Arity constructor for predicates. More...

	YAPPredicate (YAPAtom at, uintptr_t arity)
	Atom/Arity constructor for predicates. More...

	YAPPredicate (const std::string at, uintptr_t arity, std::string mod="")
	std::string/Arity constructor for predicates More...

	YAPPredicate (const char *at, uintptr_t arity)
	char *‍/arity constructor for predicates More...

	YAPPredicate (const char *at, uintptr_t arity, YAPTerm mod)
	char *‍/module constructor for predicates More...

	YAPPredicate (const char *at, YAPTerm mod)
	char *‍/module constructor for predicates More...

YAPModule	module ()
	module of a predicate More...

YAPAtom	name ()
	name of predicate More...

YAPFunctor	functor ()
	functor of predicate More...

uintptr_t	getArity ()
	arity of predicate More...

arity_t	arity ()

PredEntry *	predEntry ()

Public Member Functions inherited from YAPModuleProp
	YAPModuleProp (YAPModule tmod)

virtual YAPModule	module ()

Public Member Functions inherited from YAPProp
virtual	~YAPProp ()
	get name of property virtual YAPAtom name(); More...

Additional Inherited Members
Protected Member Functions inherited from YAPPredicate
PredEntry *	getPred (Term &t, Term &tm, CELL *&outp)
	auxiliary routine to find a predicate in the current module More...

PredEntry *	asPred ()

	YAPPredicate ()
	Empty constructor for predicates. More...

	YAPPredicate (Term &to, Term &tmod, CELL &ts, const char pname)

	YAPPredicate (Term t, CELL *&v)
	Term constructor for predicates. More...

	YAPPredicate (Term t)

	YAPPredicate (YAPTerm t, CELL *&v)
	Term constructor for predicates. More...

	YAPPredicate (YAPTerm t)

	YAPPredicate (PredEntry *pe)
	Cast constructor for predicates, if we have the implementation data. More...

	YAPPredicate (Functor f, Term mod)
	Functor constructor for predicates, is given a specific module. More...

Protected Attributes inherited from YAPPredicate
PredEntry *	ap

Constructor & Destructor Documentation

◆ YAPPrologPredicate() [1/3]

YAPPrologPredicate ( YAPTerm t )

inline

Definition at line 289 of file yapdb.hh.

◆ YAPPrologPredicate() [2/3]

YAPPrologPredicate	(	const char *	s,
		arity_t	arity
	)

inline

Definition at line 290 of file yapdb.hh.

◆ YAPPrologPredicate() [3/3]

YAPPrologPredicate	(	YAPAtom	s,
		arity_t	arity
	)

inline

Definition at line 291 of file yapdb.hh.

Member Function Documentation

◆ assertClause()

bool assertClause	(	YAPTerm	clause,
		bool	last = `true`,
		YAPTerm	source = `YAPTerm()`
	)

add a new clause

Definition at line 1155 of file yapi.cpp.

◆ assertFact()

bool assertFact	(	YAPTerm *	tuple,
		bool	last = `true`
	)

add a new tuple

Definition at line 1176 of file yapi.cpp.

◆ nextClause()

YAPTerm * nextClause ( )

inline

return the Nth clause (if source is available)

Definition at line 302 of file yapdb.hh.

◆ retractClause()

void * retractClause	(	YAPTerm	skeleton,
		bool	all = `false`
	)

retract at least the first clause matching the predicate

Definition at line 1198 of file yapi.cpp.

◆ YAPFLIP

class YAPFLIP

PrologPredicate.

This class interfaces with Predicates Implemented in Prolog

Definition at line 310 of file yapdb.hh.

Inheritance diagram for YAPFLIP:

Public Member Functions
	YAPFLIP (YAP_UserCPred call, std::string name, YAP_Arity arity, const std::string module=std::string(RepAtom(AtomOfTerm(CurrentModule)) ->StrOfAE), YAP_UserCPred retry=0, YAP_UserCPred cut=0, YAP_Arity extra=0, bool test=false)

	YAPFLIP (const char *name, uintptr_t arity, YAPModule module=YAPModule(), bool backtrackable=false)

bool	addCall (CPredicate call)

bool	addRetry (CPredicate call)

bool	addCut (CPredicate call)

Term	x (int i)

YAPTerm	X (int i)

bool	output (Term t, int i)

bool	output (YAPTerm t, int i)

bool	ensureStorage (size_t cells)

bool	ensureStorage (size_t cells, std::vector< Term > ts)

Public Member Functions inherited from YAPPredicate
	YAPPredicate (const char s0, Term &tout, YAPPairTerm &names, CELL *&nts)
	String constructor for predicates. More...

	YAPPredicate (YAPFunctor f)
	Functor constructor for predicates. More...

	YAPPredicate (YAPFunctor f, YAPTerm mod)
	Functor constructor for predicates, is given a specific module. More...

	YAPPredicate (YAPAtom at, YAPTerm mod)
	Name/arity constructor for predicates. More...

	YAPPredicate (YAPAtom at)
	Name/0 constructor for predicates. More...

	YAPPredicate (YAPAtom at, uintptr_t arity, YAPModule mod)
	Mod:Name/Arity constructor for predicates. More...

	YAPPredicate (YAPAtom at, uintptr_t arity)
	Atom/Arity constructor for predicates. More...

	YAPPredicate (const std::string at, uintptr_t arity, std::string mod="")
	std::string/Arity constructor for predicates More...

	YAPPredicate (const char *at, uintptr_t arity)
	char *‍/arity constructor for predicates More...

	YAPPredicate (const char *at, uintptr_t arity, YAPTerm mod)
	char *‍/module constructor for predicates More...

	YAPPredicate (const char *at, YAPTerm mod)
	char *‍/module constructor for predicates More...

YAPModule	module ()
	module of a predicate More...

YAPAtom	name ()
	name of predicate More...

YAPFunctor	functor ()
	functor of predicate More...

uintptr_t	getArity ()
	arity of predicate More...

arity_t	arity ()

PredEntry *	predEntry ()

Public Member Functions inherited from YAPModuleProp
	YAPModuleProp (YAPModule tmod)

virtual YAPModule	module ()

Public Member Functions inherited from YAPProp
virtual	~YAPProp ()
	get name of property virtual YAPAtom name(); More...

Additional Inherited Members
Protected Member Functions inherited from YAPPredicate
PredEntry *	getPred (Term &t, Term &tm, CELL *&outp)
	auxiliary routine to find a predicate in the current module More...

PredEntry *	asPred ()

	YAPPredicate ()
	Empty constructor for predicates. More...

	YAPPredicate (Term &to, Term &tmod, CELL &ts, const char pname)

	YAPPredicate (Term t, CELL *&v)
	Term constructor for predicates. More...

	YAPPredicate (Term t)

	YAPPredicate (YAPTerm t, CELL *&v)
	Term constructor for predicates. More...

	YAPPredicate (YAPTerm t)

	YAPPredicate (PredEntry *pe)
	Cast constructor for predicates, if we have the implementation data. More...

	YAPPredicate (Functor f, Term mod)
	Functor constructor for predicates, is given a specific module. More...

Protected Attributes inherited from YAPPredicate
PredEntry *	ap

Constructor & Destructor Documentation

◆ YAPFLIP() [1/2]

YAPFLIP	(	YAP_UserCPred	call,
		std::string	name,
		YAP_Arity	arity,
		const std::string	module = `std::string(RepAtom(AtomOfTerm(CurrentModule))->StrOfAE)`,
		YAP_UserCPred	retry = `0`,
		YAP_UserCPred	cut = `0`,
		YAP_Arity	extra = `0`,
		bool	test = `false`
	)

inline

Definition at line 312 of file yapdb.hh.

◆ YAPFLIP() [2/2]

YAPFLIP	(	const char *	name,
		uintptr_t	arity,
		YAPModule	module = `YAPModule()`,
		bool	backtrackable = `false`
	)

inline

Definition at line 326 of file yapdb.hh.

Member Function Documentation

◆ addCall()

bool addCall ( CPredicate call )

inline

Definition at line 335 of file yapdb.hh.

◆ addCut()

bool addCut ( CPredicate call )

inline

Definition at line 337 of file yapdb.hh.

◆ addRetry()

bool addRetry ( CPredicate call )

inline

Definition at line 336 of file yapdb.hh.

◆ ensureStorage() [1/2]

bool ensureStorage ( size_t cells )

inline

Definition at line 349 of file yapdb.hh.

◆ ensureStorage() [2/2]

bool ensureStorage	(	size_t	cells,
		std::vector< Term >	ts
	)

inline

Definition at line 352 of file yapdb.hh.

◆ output() [1/2]

bool output	(	Term	t,
		int	i
	)

inline

Definition at line 345 of file yapdb.hh.

◆ output() [2/2]

bool output	(	YAPTerm	t,
		int	i
	)

inline

Definition at line 346 of file yapdb.hh.

◆ x()

Term x ( int i )

inline

Definition at line 340 of file yapdb.hh.

◆ X()

YAPTerm X ( int i )

inline

Definition at line 342 of file yapdb.hh.

Detailed Description

Class Documentation

◆ YAPModule

Public Member Functions

Friends

Additional Inherited Members

Constructor & Destructor Documentation

◆ YAPModule() [1/4]

◆ YAPModule() [2/4]

◆ YAPModule() [3/4]

◆ YAPModule() [4/4]

Member Function Documentation

◆ term()

Friends And Related Function Documentation

◆ YAPModuleProp

◆ YAPPredicate

◆ YAPModuleProp

Public Member Functions

Friends

Constructor & Destructor Documentation

◆ YAPModuleProp() [1/2]

◆ YAPModuleProp() [2/2]

Member Function Documentation

◆ module()

Friends And Related Function Documentation

◆ YAPPredicate

◆ YAPPredicate

Public Member Functions

Protected Member Functions

Protected Attributes

Friends

Constructor & Destructor Documentation

◆ YAPPredicate() [1/19]

◆ YAPPredicate() [2/19]

◆ YAPPredicate() [3/19]

◆ YAPPredicate() [4/19]

◆ YAPPredicate() [5/19]

◆ YAPPredicate() [6/19]

◆ YAPPredicate() [7/19]

◆ YAPPredicate() [8/19]

◆ YAPPredicate() [9/19]

◆ YAPPredicate() [10/19]

◆ YAPPredicate() [11/19]

◆ YAPPredicate() [12/19]

◆ YAPPredicate() [13/19]

◆ YAPPredicate() [14/19]

◆ YAPPredicate() [15/19]

◆ YAPPredicate() [16/19]

◆ YAPPredicate() [17/19]

◆ YAPPredicate() [18/19]

◆ YAPPredicate() [19/19]

Member Function Documentation

◆ arity()

◆ asPred()

◆ functor()

◆ getArity()

◆ getPred()

◆ module()

◆ name()

◆ predEntry()

Friends And Related Function Documentation

◆ YAPEngine

◆ YAPQuery

Member Data Documentation

◆ ap

◆ YAPPrologPredicate

Public Member Functions

Additional Inherited Members

Constructor & Destructor Documentation

◆ YAPPrologPredicate() [1/3]

◆ YAPPrologPredicate() [2/3]

◆ YAPPrologPredicate() [3/3]

Member Function Documentation

◆ assertClause()

◆ assertFact()

◆ nextClause()

◆ retractClause()

◆ YAPFLIP

Public Member Functions

Additional Inherited Members