Programeksempler

Prologprogrammer

• mini.txt Fortolker for Mini-stak-og-variabel-maskinen; Sprog og abstrakte maskiner (3. rev. udgave) afs. 2.4 og 6.2.
• Vanilla.txt Prolog fortolket i Prolog; Sprog og abstrakte maskiner (3. rev. udgave) afs. 4.5.5.
  vej.txt Et eksempelprogram til test af Vanilla.
• Eksempler pŒ definite klausulgrammatikker; Sprog og abstrakte maskiner (3. rev. udgave) afs. 4.7.
  DCG_engelsk1.txt Engelsk grammatik uden ental/flertal.
  DCG_engelsk2.txt Engelsk grammatik med ental/flertal.
  DCG_udtryk.txt Oversūtter for aritmetisk udtryk som DCG.
• family.txt Familieprogrammet fra Bratkos bog.
• circuits.txt Logiske kredsløb i Prolog; kap. 5 i Sprog og abstrakte maskiner (3. rev. udgave).
• Lisp.txt Lispfortolker skrevet i Prolog; kap. 7 i Sprog og abstrakte maskiner (3. rev. udgave).
• vh.txt Vertikal-horisontal programmet fra Bratkos bog.
• monkey.txt Abeprogrammet fra Bratkos bog.
• diverse.txt Eksempler brugt i forelæsning om videregående faciliteter i Prolog
• length.txt Effektivt tovejs længdeprædikat; Notat nr. 2.
• fam_assert.txt Prologs assert/retract benyttet til memoisering Notat nr. 2.
• while_fort.txt Definerende fortolker for while-sproget; Sprog og abstrakte maskiner (3. rev. udgave) afs. 6.2.
• while_ovs.txt Oversætter fra while-sproget til Mini-stak-og-variabel-maskinen; Sprog og abstrakte maskiner (3. rev. udgave) afs. 6.3.
• (Eksempler fra kapitel 8 i Sprog og abstrakte maskiner foreligger ikke).
• RelAlg.txt Databaser i Prolog: Fortolker for Relation Algebra; Sprog og abstrakte maskiner (3. rev. udgave) kap. 9.
• Turingmaskiner i Prolog: Sprog og abstrakte maskiner (3. rev. udgave) kap 10.
  Turing.txt Generel fortolker for Turingmaskiner.
  TuringTrace.txt - som ovenfor med med indbygget tracer.
  TuringCount.txt Eksempel på Turingmaskine: Simpel tælleopgave.
  TuringMultiply.txt Eksempel på Turingmaskine: Multiplikation.
  
• VanillaTrace En tracer for Prolog skrevet i Prolog; Sprog og abstrakte maskiner (3. rev. udgave) afs. 11.1.
  vej.txt Et eksempelprogram til test af tracer.
• VanillaDebug.txt En interaktiv debugger for Prolog skrevet i Prolog; Sprog og abstrakte maskiner (3. rev. udgave) afs. 11.1.
  vej.txt Et eksempelprogram til test af debugger.
• Profiler.txt Effektivitetsmåling af Prolog-programmen ved source-to-source oversættelse; Sprog og abstrakte maskiner (3. rev. udgave) afs. 11.2.
  vej.txt Et eksempelprogram til test af profiler.

Datalog

• Datalog.java.txt
• Datalog.sim.txt