Visual Prolog facts, facts. f acts , . ϳ asserta assertz ( ) . , consult, , , .
, :
, ;
.
facts, ' facts.
facts mydatabase
myFirstRelation (integer) mySecondRelation (real, string) myThirdRelation (string)
facts ' mydatabase ' mydatabase. , ' dbasedom. , , . ³ (VDE) Test Goal. , . facts global.
( ); facts . , facts predicates. , facts -, , , /, .
facts . - , , . facts , , , determ ( single, ):
facts
determ daylight_saving (integer)
³, , , .
facts ' :
facts [ <databasename> ]
[ nocopy ][{ nondeterm | determ | single }]
dbPredicate [ ' (' [ Domain [ ArgumentName ]] * ') ' ]
' nondeterm, determ single dbPredicate. ҳ . , nondeterm. nondeterm , Default Predicate Mode Compiler Options VDE.
|
|
nondeterm , - dbPredicate. ;
determ , dbPredicate;
single , dbPredicate.
, ', (heap) Visual Prolog (GStack). , , , . , , . .
global , . , . , .
nondeterm ( ), facts. determ single , nondeterm. . - , , .
determ , , . , , . , .
, . , ᒺ.
, , determ, retract / 1 retract/2 ( 1, 2 ) . , , - counter, :
facts
determ counter (integer CounterValue)
goal
retract (counter (CurrentCount)), % Count= CurrentCount + 1, assert (counter (Count))
facts
counter (integer CounterValue)
predicates
determ retract_d (dbasedom)
clauses
retract_d (X): retract (X) !. %
goal
retract_d (counter (CurrentCount)), % Count= CurrentCount + 1, asserta (counter (Count))
single , , single. single () , ; , clauses . :
|
|
facts properties
single numberWindows_s (integer)
clauses
nuraberWindows_s (0).
. , . . , , .
, :
numberWindows_s (Num)
, Num . , , procedure.
assert, asserta, assertz consult, single, retract assert. assert (consult) .
single . , assert, , , , retract assert, ( , retract assert, ( ) ).