<?xml version="1.0" encoding="UTF-8"?>
<!-- generator="FeedCreator 1.8" -->
<?xml-stylesheet href="https://geist.re/lib/exe/css.php?s=feed" type="text/css"?>
<rdf:RDF
    xmlns="http://purl.org/rss/1.0/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
    xmlns:dc="http://purl.org/dc/elements/1.1/">
    <channel rdf:about="https://geist.re/feed.php">
        <title>GEIST Research Group pub:projects:samurai:cases</title>
        <description></description>
        <link>https://geist.re/</link>
        <image rdf:resource="https://geist.re/_media/favicon.ico" />
       <dc:date>2026-05-05T08:46:58+00:00</dc:date>
        <items>
            <rdf:Seq>
                <rdf:li rdf:resource="https://geist.re/pub:projects:samurai:cases:lp?rev=1452033238&amp;do=diff"/>
                <rdf:li rdf:resource="https://geist.re/pub:projects:samurai:cases:ploc?rev=1452033158&amp;do=diff"/>
                <rdf:li rdf:resource="https://geist.re/pub:projects:samurai:cases:userv?rev=1452033291&amp;do=diff"/>
            </rdf:Seq>
        </items>
    </channel>
    <image rdf:about="https://geist.re/_media/favicon.ico">
        <title>GEIST Research Group</title>
        <link>https://geist.re/</link>
        <url>https://geist.re/_media/favicon.ico</url>
    </image>
    <item rdf:about="https://geist.re/pub:projects:samurai:cases:lp?rev=1452033238&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2016-01-05T22:33:58+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>pub:projects:samurai:cases:lp</title>
        <link>https://geist.re/pub:projects:samurai:cases:lp?rev=1452033238&amp;do=diff</link>
        <description>Powrót do samurai:start

Loan Processor

	*  [Prezentation]
	*  [Wersja w datalogu] - 6 reguł
	*  
	*  [Wersja w Prologu (by KKR)]

Model in CLIPS

	*  Model 1: 
	*  Rules: 8
	*  Uwagi:
		*  The datalog example uses backward chaining
		*  The forward chaining version of the case must provide more data types of which facts are generated by rules in order to activate another rules.</description>
    </item>
    <item rdf:about="https://geist.re/pub:projects:samurai:cases:ploc?rev=1452033158&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2016-01-05T22:32:38+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>pub:projects:samurai:cases:ploc</title>
        <link>https://geist.re/pub:projects:samurai:cases:ploc?rev=1452033158&amp;do=diff</link>
        <description>Powrót do samurai:start

PLOC

	*  [Orginal rules]
	*   - 49 rules

Model in CLIPS

	*  Model 1: 
	*  Rules: 31
	*  Uwagi:
		*  It is necessary to use module mechanisms in order to avoid infinite recursion of rules that modify the facts that are also in their LHS.
		*  In order to decrease number of rules, the predicates</description>
    </item>
    <item rdf:about="https://geist.re/pub:projects:samurai:cases:userv?rev=1452033291&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2016-01-05T22:34:51+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>pub:projects:samurai:cases:userv</title>
        <link>https://geist.re/pub:projects:samurai:cases:userv?rev=1452033291&amp;do=diff</link>
        <description>Powrót do samurai:start

UserV

	*  [Orginal Rules]

In comparison to orginal model, models implmented in CLIPS, Jess and Drools assumes that concept of Client and Driver are the same. This is because, it is impossible to support many drivers or cars simultaneously in XTT2 model.

Model in CLIPS</description>
    </item>
</rdf:RDF>
