Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> [ tuprolog overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

alice.tuprolog
Class CoreLibrary  

java.lang.Object
  alice.tuprolog.Library
      alice.tuprolog.CoreLibrary

All Implemented Interfaces:

java.io.Serializable

---

class CoreLibrary

extends Library

built-in predicates always loaded by prolog virtual machine.

they complete the ones stored inside prolog core, in BUILT_IN matrix.

---

Field Summary

 

Fields inherited from class alice.tuprolog.Library

engine, theory

 

Constructor Summary

CoreLibrary()

 

Method Summary
boolean	atom_1(Struct g)
boolean	atomic_1(Struct g)
boolean	compound_1(Struct g)
boolean	constant_1(Struct g)
boolean	float_1(Struct g)
boolean	ground_1(Struct g)
boolean	integer_1(Struct g)
boolean	list_1(Struct g)
boolean	nonvar_1(Struct g)
boolean	number_1(Struct g)
boolean	object_1(Struct g)
boolean	to_atom_2(Struct g)
boolean	var_1(Struct g)

 

Methods inherited from class alice.tuprolog.Library

dismiss, getEngine, getFunctors, getPredicates, getRenamedCopy, getTheory, onSolveBegin, onSolveEnd, setEngine, unify

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

CoreLibrary

public CoreLibrary()

Method Detail

constant_1

public boolean constant_1(Struct g)

---

number_1

public boolean number_1(Struct g)

---

integer_1

public boolean integer_1(Struct g)

---

float_1

public boolean float_1(Struct g)

---

atom_1

public boolean atom_1(Struct g)

---

compound_1

public boolean compound_1(Struct g)

---

list_1

public boolean list_1(Struct g)

---

object_1

public boolean object_1(Struct g)

---

var_1

public boolean var_1(Struct g)

---

nonvar_1

public boolean nonvar_1(Struct g)

---

atomic_1

public boolean atomic_1(Struct g)

---

ground_1

public boolean ground_1(Struct g)

---

to_atom_2

public boolean to_atom_2(Struct g)

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> [ tuprolog overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---