Artifical intelligence embedded in Excel

And.

Or

Directive, to create infix, prefix, postfix predicates.

Read more: :- op/3

Cut keyword.

Read more: ! Cut

Query is the main way to interact with PliX. 

Read more: ?- Query

Math power. Example :         ?- X is 2 ** 3.          yes. X=8.

Block comment. Anything between /*  and  */ is ignored by the parser. It may cover several rows.

The argument has to be a goal. If the goal succeed, return "no". If it failed, return "yes".

Read more: \+ (or not/1)

Equality. Try to match both sides arguments.

Values of arithmetic expressions are equal.

Check if arithmetic value of arguments are different

Example:

arg( Nposition, Term, ArgumentN).

Add argument as a new clause, at the beginning of the existing clauses.

Add argument as a new clause, at the end of the existing clauses.

Check if the argument is an atom.

Put the argument as a new goal to be solved.

Check if the argument is a compound term (a structure).

Consult program in the current worksheet.

Always fail.

Find all the solutions for a goal. 

Read more: findall/3

Example:

functor( Term, Functor, Arity).

Force math evaluation of right side argument. Instantiate result with left side argument.

The 3 basics list operators:

4 basic math operators   + - * /  

Read more: Math arithmetic operators + - * /

basic math comparison operators:  >   >=   =<   <   =:=   =\=
Force evaluation of each side arguments, then compare them, then succeed or fail.

Read more: Math comparison operators

** : power.

Read more: Math operators: others

Check if the argument is not a variable.

The argument has to be a goal. If the goal succeed, return "no". If it failed, return "yes".

Read more: not/1 (or \+/1)

Succeed if the argument currently stands for a number.

Check if the argument is a number

Read input from the user, and instantiate with the argument.

Rule.

?-trace. and ?-notrace. predicates activate ore deactivate the tracing utility.

Alternatively, you may click the buttons in the ribbon: console and ?-trace/notrace.

Read more: trace() notrace()

Always succeed.

Check if the argument is a variable.

Display the argument to the user.

Main Menu

Login Form