topheader Welcome 3.21.106.69 @ xps.scios.ch on Sat Apr 20 6:12:22 UTC 2024
topheader
 

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

clips:clip1jqs [2010/01/04 19:46] (current)
Line 1: Line 1:
 +
 +<​HTML>​
 +<​HEAD>​
 +<META HTTP-EQUIV="​Content-Type"​ Content="​text/​html;​ charset=Windows-1252">​
 +<​TITLE>​RETRACT</​TITLE>​
 +</​HEAD>​
 +
 +<BODY BGCOLOR="#​FFFFFF"​ TEXT="#​000000">​
 +
 +<OBJECT TYPE="​application/​x-oleobject"​ CLASSID="​clsid:​1e2a7bd0-dab9-11d0-b93a-00c04fc99f9e">​
 + <PARAM NAME="​Keyword"​ VALUE="​RETRACT">​
 +</​OBJECT>​
 +
 +<​H1><​A NAME="​retract"></​A>​RETRACT</​H1>​
 +
 +<​P>​Removes a fact from the fact-list.</​P>​
 +
 +<​PRE><​CODE>​(retract &​lt;​retract-specifier&​gt;​+ | *)
 +    &​lt;​retract-specifier&​gt;​ ::= &​lt;​fact-specifier&​gt;​ | &​lt;​integer-expression&​gt;</​CODE></​PRE>​
 +
 +</​BODY>​
 +</​HTML>​
  
 
 
clips/clip1jqs.txt ยท Last modified: 2010/01/04 19:46 (external edit)
topheader
© 1998-2021, SciOS Scientific Operating Systems GmbH

Legal | Credits | Profile | Contact | Customer Login