![]() | ![]() |
1993 | ||
---|---|---|
2 | Alain Colmerauer, Philippe Roussel: The Birth of Prolog. HOPL Preprints 1993: 37-52 | |
1984 | ||
1 | Maria Virginia Aponte, José Alberto Fernández, Philippe Roussel: Editing First-Order Proofs: Programmed Rules vs Derived Rules. SLP 1984: 92-98 |
1 | Maria Virginia Aponte | [1] |
2 | Alain Colmerauer | [2] |
3 | José Alberto Fernández | [1] |