UHH>Informatik>NatS>LUSE Web>BastelKram (17 Oct 2012, UnknownUser) Print version
+ Bastel Kram

  • infer_types.pl: Beispiel, wie man aus einer Prolog-Klausel Typen inferieren kann.
  • typen.pl: leitet aus Typinformation die Klammerung von Scheme-Ausdrücken her
  • erfuellbar.pl: (relativ hirnloser) Tableau-Beweiser. scheitert aber schon an erfuellbar(forall(x,exists(y,likes(x,y))),A).
-- YannickVersley - 16 Apr 2003
LUSE
Warning: Can't find topic LUSE.WebLeftBarExample

 
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback