Robert Kowalski - "Logic for Problem Solving", 1979
(cap. 5: The Procedural Interpretation of Horn Clauses / "Algorithm = Logic + Control")
David H. D. Waren, 1983 - WAM, "Waren Abstract Machine" (mediul de execuţie pentru Prolog)
- În jurul unei probleme de echilibru (II)
May-2011
Vizăm generarea s-partiţiilor angajând metode generale: căutare "brute force" şi backtracking. Formulăm în C++ şi în Prolog (incluzând un mecanism intern de backtracking, Prolog permite "rezumarea" programului la specificarea condiţiilor necesare pentru soluţii).
- Introducere practică în Prolog (I)
Jun-2011
În programarea logică, ideea de bază este exprimată prin Algorithm = Logic + Control. Componenta Logic vizează descrierea problemei: ce fapte se cunosc şi ce reguli trebuie folosite de către "Control" pentru a deduce ulterior alte fapte (noi).
Componenta Control reprezintă însuşi interpretorul - ori fiinţa raţională - care va "executa" programele; interpretorul de Prolog "aplică" metoda deducerii (plecând de la baza de date furnizată de program) şi un mecanism intern de backtracking recursiv - căutând sistematic valori cu care să "înlocuiască" necunoscutele implicate în scopul satisfacerii clauzelor curente.
- Introducere practică în Prolog (II)
Jun-2011
Structuri de date în Prolog (termeni compuşi, liste, operatorul "univ") şi două exemplificări: problema rucsacului şi plata unei sume în unităţi monetare date.
Media dinamică
Linux şi aplicaţii Web
în 24 de ore
Orar şcolar
documentaţie Sphinx
ŞahStartTemp