<rdf:RDF
 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
 xmlns="http://purl.org/rss/1.0/"
 xmlns:dc="http://purl.org/dc/elements/1.1/"
 xmlns:cc="http://web.resource.org/cc/"
 >
<!--
	This ontology document is licensed under the Creative Commons
	Attribution License. To view a copy of this license, visit
	http://creativecommons.org/licenses/by/2.0/ or send a letter to
	Creative Commons, 559 Nathan Abbott Way, Stanford, California
	94305, USA.
-->
 <channel rdf:about="http://ebiquity.umbc.edu//tags/html/?t=truth+maintenance">
  <cc:license rdf:resource="http://creativecommons.org/licenses/by/2.0/" />
  <title><![CDATA[UMBC ebiquity RSS Tag Search]]></title>
  <link><![CDATA[http://ebiquity.umbc.edu//tags/html/?t=truth+maintenance]]></link>
  <description><![CDATA[UMBC ebiquity RSS Tag Search for truth maintenance]]></description>
  <items>
    <rdf:Seq>
      <rdf:li resource="http://ebiquity.umbc.edu/paper/html/id/1001/Pfc-Users-Manual"/>
      <rdf:li resource="http://ebiquity.umbc.edu/paper/html/id/682/Adding-forward-chaining-and-truth-maintenance-to-Prolog"/>
    </rdf:Seq>
  </items>
 </channel>
 <item rdf:about="http://ebiquity.umbc.edu/paper/html/id/1001/Pfc-Users-Manual">
  <title><![CDATA[Pfc Users Manual]]></title>
  <link>http://ebiquity.umbc.edu/paper/html/id/1001/Pfc-Users-Manual</link>
  <description><![CDATA[The Pfc system is a package that provides a forward reasoning capability to be used together with
conventional Prolog programs. The Pfc inference rules are Prolog terms that are asserted as clauses into
the regular Prolog database. When new facts or forward reasoning rules are added to the Prolog database
(via a special predicate add/1, forward reasoning is triggered and additional facts that can be deduced via
the application of the forward chaining rules are also added to the database. ...]]></description>
  <dc:date>1999-08-01</dc:date>
 </item>
 <item rdf:about="http://ebiquity.umbc.edu/paper/html/id/682/Adding-forward-chaining-and-truth-maintenance-to-Prolog">
  <title><![CDATA[Adding forward chaining and truth maintenance to Prolog]]></title>
  <link>http://ebiquity.umbc.edu/paper/html/id/682/Adding-forward-chaining-and-truth-maintenance-to-Prolog</link>
  <description><![CDATA[This paper describes Pfc, a simple package that supplies a forward chaining facility in Prolog. Pfc is intended to be used in conjunction with ordinary Prolog programs, allowing the programmer to decide whether to encode a rule as a forward-chaining Pfc rule or a backward-chaining Prolog one. Like other logic programming languages, Pfc programs have a declarative interpretation as well as a clear and predictable procedural one. A truth maintenance system is built into the Pfc system, which ma...]]></description>
  <dc:date>1989-03-06</dc:date>
 </item>
</rdf:RDF>
