<?xml version="1.0"?>

<!DOCTYPE owl [
	<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#">
	<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#">
	<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#">
	<!ENTITY owl "http://www.w3.org/2002/07/owl#">
	<!ENTITY cc "http://web.resource.org/cc/#">
	<!ENTITY project "http://ebiquity.umbc.edu/ontology/project.owl#">
	<!ENTITY person "http://ebiquity.umbc.edu/ontology/person.owl#">
	<!ENTITY pub "http://ebiquity.umbc.edu/ontology/publication.owl#">
	<!ENTITY assert "http://ebiquity.umbc.edu/ontology/assertion.owl#">
]>

<!--

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.

-->

<rdf:RDF 
		xmlns:rdf = "&rdf;"
		xmlns:rdfs = "&rdfs;"
		xmlns:xsd = "&xsd;"
		xmlns:owl = "&owl;"
		xmlns:cc = "&cc;"
		xmlns:project = "&project;"
		xmlns:person = "&person;"
		xmlns:pub = "&pub;"
		xmlns:assert = "&assert;">
	<pub:InProceedings rdf:about="http://ebiquity.umbc.edu/paper/html/id/682/Adding-forward-chaining-and-truth-maintenance-to-Prolog">
		<rdfs:label><![CDATA[Adding forward chaining and truth maintenance to Prolog]]></rdfs:label>
		<pub:title><![CDATA[Adding forward chaining and truth maintenance to Prolog]]></pub:title>
		<pub:publishedOn rdf:datatype="&xsd;dateTime">1989-03-06T00:00:00-05:00</pub:publishedOn>
		<pub:abstract><![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 maintains consistency as well as makes derivations available for applications. Finally, Pfc is designed to be practical, relatively efficient, and fairly unobtrusive.]]></pub:abstract>
		<pub:pages><![CDATA[123-130]]></pub:pages>
		<pub:note><![CDATA[DOI: <a href="https://doi.org/10.1109/CAIA.1989.49145">10.1109/CAIA.1989.49145</a>
<br/>
Code is available on <a href="https://github.com/finin/pfc">GitHub</a> as well as a <a href="https://github.com/finin/pfc/blob/master/man/pfc.pdf">users manual</a>.]]></pub:note>
		<pub:counter>1934</pub:counter>
		<pub:tag><![CDATA[ai]]></pub:tag>
		<pub:tag><![CDATA[knowledge representation]]></pub:tag>
		<pub:tag><![CDATA[prolog]]></pub:tag>
		<pub:tag><![CDATA[reasoning]]></pub:tag>
		<pub:tag><![CDATA[truth maintenance]]></pub:tag>
		<pub:booktitle><![CDATA[Proceedings of the Fifth IEEE Conference on Artificial Intelligence Applications]]></pub:booktitle>
		<pub:publisher><![CDATA[IEEE]]></pub:publisher>
		<pub:author>
			<rdf:List>
				<rdf:first>
					<person:Person rdf:about="http://ebiquity.umbc.edu/person/html/Richard/Fritzson"><person:name><![CDATA[Richard Fritzson]]></person:name><rdfs:label><![CDATA[Richard Fritzson]]></rdfs:label></person:Person>
				</rdf:first>
				<rdf:rest>					<rdf:List>
						<rdf:first>
							<person:Person rdf:about="http://ebiquity.umbc.edu/person/html/Tim/Finin"><person:name><![CDATA[Tim Finin]]></person:name><rdfs:label><![CDATA[Tim Finin]]></rdfs:label></person:Person>
						</rdf:first>
						<rdf:rest>							<rdf:List>
								<rdf:first>
									<person:Person rdf:about="http://ebiquity.umbc.edu/person/html/David/Matuszek"><person:name><![CDATA[David Matuszek]]></person:name><rdfs:label><![CDATA[David Matuszek]]></rdfs:label></person:Person>
								</rdf:first>
								<rdf:rest rdf:resource="&rdf;nil" />
							</rdf:List>
						</rdf:rest>
					</rdf:List>
				</rdf:rest>
			</rdf:List>
		</pub:author>
		<pub:firstAuthor>
<person:Person rdf:about="http://ebiquity.umbc.edu/person/html/Richard/Fritzson"><person:name><![CDATA[Richard Fritzson]]></person:name><rdfs:label><![CDATA[Richard Fritzson]]></rdfs:label></person:Person>
		</pub:firstAuthor>
		<pub:softCopy><pub:SoftCopy>
			<pub:softCopyFormat><![CDATA[PDF Document]]></pub:softCopyFormat>
			<pub:softCopyURI><![CDATA[http://ebiquity.umbc.edu/get/a/publication/736.pdf]]></pub:softCopyURI>
			<pub:softCopySize>698855</pub:softCopySize>
			</pub:SoftCopy>
			</pub:softCopy>
	</pub:InProceedings>

<rdf:Description rdf:about="">
	<cc:License rdf:resource="http://creativecommons.org/licenses/by/2.0/" />
</rdf:Description>

</rdf:RDF>
