Uses of Interface
org.projog.core.kb.KnowledgeBaseConsumer
-
Packages that use KnowledgeBaseConsumer Package Description org.projog.core.math org.projog.core.math.builtin Provides arithmetic operators.org.projog.core.predicate org.projog.core.predicate.builtin.bool Predicates to explicitly specify when a goal succeeds of fails.org.projog.core.predicate.builtin.classify Predicates for classifying terms.org.projog.core.predicate.builtin.clp Predicates to support constraint logic programming.org.projog.core.predicate.builtin.compare Predicates for comparing terms, including specific predicates for comparing numeric values.org.projog.core.predicate.builtin.compound Predicates for the construction of compound/complex sentences.org.projog.core.predicate.builtin.construct Predicates for inspecting the structure of terms.org.projog.core.predicate.builtin.db Predicates to support working with the recorded database.org.projog.core.predicate.builtin.debug Predicates to aid the debugging of Prolog programs.org.projog.core.predicate.builtin.flow Predicates for affecting the flow of goal evaluation on backtracking.org.projog.core.predicate.builtin.io Predicates for system input and output with the file system.org.projog.core.predicate.builtin.kb Predicates for inspecting, adding and retracting clauses.org.projog.core.predicate.builtin.list Predicates for working with list data structures.org.projog.core.predicate.builtin.reif org.projog.core.predicate.builtin.time Predicates to support working with dates and times. -
-
Uses of KnowledgeBaseConsumer in org.projog.core.math
Classes in org.projog.core.math that implement KnowledgeBaseConsumer Modifier and Type Class Description classAbstractArithmeticOperatorclassAbstractBinaryArithmeticOperatorA template forArithmeticOperators that accept two arguments.classAbstractBinaryIntegerArithmeticOperatorA template forArithmeticOperators that accept two arguments of typeTermType.INTEGER.classAbstractUnaryArithmeticOperatorA template forArithmeticOperators that accept exactly one argument. -
Uses of KnowledgeBaseConsumer in org.projog.core.math.builtin
Classes in org.projog.core.math.builtin that implement KnowledgeBaseConsumer Modifier and Type Class Description classAbsabs- returns the absolute value of a numeric argument.classAdd+- performs addition.classBitwiseAnd/\- performs bitwise addition.classBitwiseOr\/- bitwise 'or'.classBitwiseXorxor- bitwise 'exclusive or'.classDivide/- performs division.classIntegerDivide//- performs integer division.classMaxmax- finds the maximum of two numbers.classMinmin- finds the minimum of two numbers.classMinus-- minus operator.classModulomod- finds the remainder of division of one number by another.classMultiply*- performs multiplication.classPower**- calculates the result of the first argument raised to the power of the second argument.classRandomrandom(X)Evaluate to a random integer i for which 0 =< i < X.classRemainderrem- finds the remainder of division of one number by another.classRoundinteger(X)- round X to the nearest integer value.classShiftLeft<<- left shift bits.classShiftRight>>- right shift bits.classSubtract-- performs subtraction. -
Uses of KnowledgeBaseConsumer in org.projog.core.predicate
Classes in org.projog.core.predicate that implement KnowledgeBaseConsumer Modifier and Type Class Description classAbstractPredicateFactoryclassAbstractSingleResultPredicateSuperclass of "plug-in" predicates that are not re-evaluated as part of backtracking. -
Uses of KnowledgeBaseConsumer in org.projog.core.predicate.builtin.bool
Classes in org.projog.core.predicate.builtin.bool that implement KnowledgeBaseConsumer Modifier and Type Class Description classFailfail- always fails.classTruetrue- always succeeds. -
Uses of KnowledgeBaseConsumer in org.projog.core.predicate.builtin.classify
Classes in org.projog.core.predicate.builtin.classify that implement KnowledgeBaseConsumer Modifier and Type Class Description classCharTypechar_type(X,Y)- classifies characters.classIsAtomatom(X)- checks that a term is an atom.classIsAtomicatomic(X)- checks that a term is atomic.classIsCompoundcompound(X)- checks that a term is a compound term.classIsFloatfloat(X)- checks that a term is a floating point number.classIsIntegerinteger(X)- checks that a term is an integer.classIsListis_list(X)- checks that a term is a list.classIsNonVarnonvar(X)- checks that a term is not an uninstantiated variable.classIsNumbernumber(X)- checks that a term is numeric.classIsVarvar(X)- checks that a term is an uninstantiated variable. -
Uses of KnowledgeBaseConsumer in org.projog.core.predicate.builtin.clp
Classes in org.projog.core.predicate.builtin.clp that implement KnowledgeBaseConsumer Modifier and Type Class Description classAddExpressionFactorypj_add_clp_expression(X,Y)- defines a Java class as an CLP expression.classBooleanConstraintPredicateCLP predicates for comparing boolean values.classDistinctall_different([X,Y,Z])- enforce that none of the given CLP variables share the same value.classInX in 1..4/[X,Y,Z] ins 1..4- restrict CLP variables to a range of values.classNumericConstraintPredicateCLP predicates for comparing numeric values.classResolvelabel([X])- assigns concrete values to the given CLP variables. -
Uses of KnowledgeBaseConsumer in org.projog.core.predicate.builtin.compare
Classes in org.projog.core.predicate.builtin.compare that implement KnowledgeBaseConsumer Modifier and Type Class Description (package private) classAbstractNumericComparisonPredicateclassBetweenbetween(X,Y,Z)- checks if a number is within a specified range.classComparecompare(X,Y,Z)- compares arguments.classEqualX=Y- an equality test.classIsX is Y- evaluate arithmetic expression.private static classIs.PreprocessedIsprivate static classIs.UnifyclassNotStrictEqualityX\==Y- a strict equality test.classNotUnifiableX \= Y- checks whether two terms cannot be unified.classNumericEqualityX=:=Y- numeric equality test.classNumericGreaterThanX>Y- numeric "greater than" test.classNumericGreaterThanOrEqualX>=Y- numeric "greater than or equal" test.classNumericInequalityX=\=Y- numeric inequality test.classNumericLessThanX<Y- numeric "less than" test.classNumericLessThanOrEqualX=<Y- numeric "less than or equal" test.classPredSortpredsort(X,Y,Z)- sorts a list using the specified predicate.classStrictEqualityX==Y- a strict equality test.classTermGreaterThanX@>Y- term "greater than" test.classTermGreaterThanOrEqualX@>=Y- term "greater than or equal" test.classTermLessThanX@<Y- term "less than" test.classTermLessThanOrEqualX@=<Y- term "less than or equal" test.classUnifyWithOccursCheckunify_with_occurs_check(X, Y)- an equality test using sound unification. -
Uses of KnowledgeBaseConsumer in org.projog.core.predicate.builtin.compound
Classes in org.projog.core.predicate.builtin.compound that implement KnowledgeBaseConsumer Modifier and Type Class Description classBagOfbagof(X,P,L)- find all solutions that satisfy the goal.classCallcall(X)- calls the goal represented by a term.classConjunctionX,Y- conjunction.private static classConjunction.OptimisedRetryableConjuctionprivate static classConjunction.OptimisedSingletonConjuctionclassDisjunctionX;Y- disjunction.classFindAllfindall(X,P,L)- find all solutions that satisfy the goal.classIfThenX->Y- ifXsucceeds thenYis evaluated.classLimitlimit(N, X)- calls the goal represented by a term a maximum number of times.classNot\+ X- "not".private static classNot.OptimisedNotclassOnceonce(X)- calls the goal represented by a term.private static classOnce.OptimisedOnceclassSetOfsetof(X,P,L)- find all solutions that satisfy the goal. -
Uses of KnowledgeBaseConsumer in org.projog.core.predicate.builtin.construct
Classes in org.projog.core.predicate.builtin.construct that implement KnowledgeBaseConsumer Modifier and Type Class Description classArgarg(N,T,A)- allows access to an argument of a structure.classAtomConcatatom_concat(X, Y, Z)- concatenates atom names.classCopyTermcopy_term(X,Y)- makes a copy of a term.classFunctorfunctor(T,F,N)classNumberVarsnumbervars(Term,Start,End)- unifies free variables of a term.classTermSplitatom_chars/atom_codes/number_chars/number_codesclassUnivX=..L- "univ". -
Uses of KnowledgeBaseConsumer in org.projog.core.predicate.builtin.db
Classes in org.projog.core.predicate.builtin.db that implement KnowledgeBaseConsumer Modifier and Type Class Description classEraseerase(X)- removes a record from the recorded database.classInsertRecordrecorda(X,Y,Z)/recordz(X,Y,Z)- associates a term with a key.classRecordedrecorded(X,Y,Z)- checks if a term is associated with a key. -
Uses of KnowledgeBaseConsumer in org.projog.core.predicate.builtin.debug
Classes in org.projog.core.predicate.builtin.debug that implement KnowledgeBaseConsumer Modifier and Type Class Description classAlterSpyPointspy(X)/nospy(X)- add or remove a spy point for a predicate.classDebuggingdebugging- lists current spy points.classNoDebugnodebug- removes all current spy points.classNoTracenotrace- disables exhaustive tracing.classTracetrace- enables exhaustive tracing. -
Uses of KnowledgeBaseConsumer in org.projog.core.predicate.builtin.flow
Classes in org.projog.core.predicate.builtin.flow that implement KnowledgeBaseConsumer Modifier and Type Class Description classCut!- the "cut".classRepeatInfinitelyrepeat- always succeeds.classRepeatSetAmountrepeat(N)- succeedsNtimes.classThrowthrow(X)- throws an exception with the given message. -
Uses of KnowledgeBaseConsumer in org.projog.core.predicate.builtin.io
Classes in org.projog.core.predicate.builtin.io that implement KnowledgeBaseConsumer Modifier and Type Class Description classCloseclose(X)- closes a stream.classCurrentInputcurrent_input(X)- match a term to the current input stream.classCurrentOutputcurrent_output(X)- match a term to the current output stream.classGetCharget_char(X)- reads the next character from the input stream.classGetCodeget_code(X)- reads the next character from the input stream.classNewLinenl- outputs a new line character.classOpop(X,Y,Z)classOpenopen(X,Y,Z)- opens a file.classPutCharput_char(X)- writes a character.classReadread(X)- reads a term from the input stream.classSeesee(X)- opens a file and sets it as the current input stream.classSeenseen- closes the current input stream.classSetInputset_input(X)- sets the current input.classSetOutputset_output(X)- sets the current output.classTabtab(X)- writesXnumber of spaces to the output stream.classTelltell(X)- opens a file and sets it as the current output stream.classToldtold- closes the current output stream.classWritewrite(X)- writes a term to the output stream.classWriteCanonicalwrite_canonical(X)- writes a term to the output stream.classWritefwritef(X,Y)- writes formatted text to the output stream. -
Uses of KnowledgeBaseConsumer in org.projog.core.predicate.builtin.kb
Classes in org.projog.core.predicate.builtin.kb that implement KnowledgeBaseConsumer Modifier and Type Class Description classAddArithmeticOperatorpj_add_arithmetic_operator(X,Y)- defines a Java class as an arithmetic operator.classAddPredicateFactorypj_add_predicate(X,Y)- defines a Java class as a built-in predicate.classAddUserDefinedArithmeticOperatorarithmetic_function(X)- defines a predicate as an arithmetic function.classAssertasserta(X)/assertz(X)- adds a clause to the knowledge base.classConsultconsult(X)- reads clauses and goals from a file.classConsultListRead clauses and goals from a list of files.classCurrentPredicatecurrent_predicate(X)- unifies with defined predicates.classDynamicdynamic/1- indicates that a user defined predicate is dynamic.classEnsureLoadedensure_loaded(X)- reads clauses and goals from a file.classFlagflag(X,Y,Z)- associates a key with a value.classInspectclause(X,Y)/retract(X)- matches terms to existing clauses.classListinglisting(X)- outputs current clauses.classRetractAllretractall(X)- remove clauses from the knowledge base. -
Uses of KnowledgeBaseConsumer in org.projog.core.predicate.builtin.list
Classes in org.projog.core.predicate.builtin.list that implement KnowledgeBaseConsumer Modifier and Type Class Description classAppendappend(X,Y,Z)- concatenates two lists.classAppendListOfListsappend(ListOfLists, List)- concatenates a list of lists.classAtomicListConcatatomic_list_concat(List,Separator,Atom)/atomic_list_concat(List,Atom)classDeletedelete(X,Y,Z)- remove all occurrences of a term from a list.classExtremumListmin_list/max_listclassFlattenflatten(X,Y)- flattens a nested list.classFoldfoldl(PredicateName, Values, Start, Result)- combines elements of a list into a single term.classKeySortkeysort(X,Y)- sorts a list of key/value pairs.classLastlast(X,Y)- finds the last element of a list.classLengthlength(X,Y)- determines the length of a list.classMapListmaplist(X,Y)/maplist(X,Y,Z)- determines if a goal succeeds against elements of a list.classMembermember(E, L)- enumerates members of a list.classMemberCheckmemberchk(E, L)- checks is a term is a member of a list.private static classMemberCheck.PreprocessedMemberCheckclassNthnth0(X,Y,Z)/nth1(X,Y,Z)- examines an element of a list.classPairsElementspairs_keys(Pairs,Keys)/pairs_values(Pairs,Values)- get keys or values from list of Key-Value pairs.classReversereverse(X,Y)- reverses the order of elements in a list.classSelectselect(X,Y,Z)- removes an element from a list.classSortmsort(X,Y)- sorts a list.classSortAsSetsort(X,Y)- sorts a list and removes duplicates.classSubListinclude(X,Y,Z)- filters a list by a goal.classSubsetsubset(X,Y)- checks if a set is a subset.classSubtractFromListsubtract(X,Y,Z)- removes elements from a list. -
Uses of KnowledgeBaseConsumer in org.projog.core.predicate.builtin.reif
Classes in org.projog.core.predicate.builtin.reif that implement KnowledgeBaseConsumer Modifier and Type Class Description classDifdif(X,Y)- enforces restriction that the two given terms are never equal. -
Uses of KnowledgeBaseConsumer in org.projog.core.predicate.builtin.time
Classes in org.projog.core.predicate.builtin.time that implement KnowledgeBaseConsumer Modifier and Type Class Description classConvertTimeconvert_time(X,Y)- converts a timestamp to a textual representation.classGetTimeget_time(X)- gets the current system time.
-