Aller au contenu principal
Version: v11.0.0

retract/1

Description​

retract/1 is a predicate that retracts a clause from the database.

Signature​

retract(+Clause)

Where:

  • Clause is the clause to retract from the database.

Examples​

Retract a fact from the database​

This scenario demonstrates the process of retracting a fact from a Prolog database. In Prolog, retracting a fact means removing a piece of information or knowledge from the database, making it unavailable for subsequent queries. This is particularly useful when you want to dynamically remove facts or rules based on conditions or interactions during runtime.

Here are the steps of the scenario:

  • Given the query:
assertz(parent(john, alice)), retract(parent(john, alice)), parent(X, Y).
  • When the query is run
  • Then the answer we get is:
height: 42
gas_used: 3977
answer:
  has_more: false
  variables: ["X","Y"]
  results:

Only dynamic predicates can be retracted​

This scenario demonstrates that only dynamic predicates can be retracted. In Prolog, dynamic predicates are those that can be modified during runtime. This is in contrast to static predicates, which are fixed and cannot be modified.

Here are the steps of the scenario:

  • Given the program:
parent(jane, alice).
  • Given the query:
retract(parent(jane, alice)).
  • When the query is run
  • Then the answer we get is:
height: 42
gas_used: 3975
answer:
  has_more: false
  results:
  - error: "error(permission_error(modify,static_procedure,parent/2),retract/1)"