+ 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 
| I | Attachment | Action | Size | Date | Who | Comment |
|---|---|---|---|---|---|---|
 pl |
erfuellbar.pl | manage | 4.0 K | 16 Apr 2003 - 18:17 | UnknownUser | |
| pl |
infer_types.pl | manage | 6.5 K | 24 Jun 2003 - 17:20 | UnknownUser | |
| pl |
typen.pl | manage | 2.5 K | 16 Apr 2003 - 18:15 | UnknownUser |
This topic: LUSE > BastelKram
Topic revision: 17 Oct 2012, UnknownUser
Topic revision: 17 Oct 2012, UnknownUser
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding Foswiki? Send feedback