Zur Veranschaulichung folgt nun eine Reihe von Beispielprogrammen. Jedes wird in L-Syntax und in P-Syntax aufgeführt. Die Originale in Lisp-artiger Syntax wurden zum Testen der Beispiele in [] erstellt.
Im Prinzip handelt es sich um ein Script des folgenden Batchfiles. Lediglich die Zwischenüberschriften wurden von Hand ergänzt.
style lisp destroy consult "/home/rfm/RFM/extensions/attval.rf" listing style prolog listing style lisp destroy consult "/home/rfm/RFM/extensions/genints.rf" listing style prolog listing style lisp destroy consult "/home/rfm/RFM/extensions/inv.rf" listing style prolog listing style lisp destroy consult "/home/rfm/RFM/extensions/revise.rf" listing style prolog listing style lisp destroy consult "/home/rfm/RFM/extensions/serialisef.rf" listing style prolog listing style lisp destroy consult "/home/rfm/RFM/extensions/serialiser.rf" listing style prolog listing style lisp destroy consult "/home/rfm/RFM/extensions/signum.rf" listing style prolog listing