Skip to content
Snippets Groups Projects
Select Git revision
  • ss15
  • tardis default
  • online-lip-2020
  • ss18
  • ws18
  • master protected
  • ws17
  • ss17
  • ws16
  • ss16
  • ws15 protected
  • ws14 protected
  • buildhauer protected
  • ss14 protected
14 results

swi-prolog.tex

Blame
  • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    swi-prolog.tex 310 B
    \subsection{swi-prolog}
    swi-prolog installiert einen Prolog-Interpreter. Prolog wird in der Vorlesung \enquote{Programmierung} eingeführt und benötigt.
    
    Beispielaufruf im Terminal mit: \texttt{swipl prolog1.pl} kompiliert und lädt man die Datei prolog1.pl; nun können Anfragen an prolog1 gestellt werden.