(logic programming)
kierunek rozwojowy Ä jezyków programowania, korzystajacy istotnie z doswiadczen i osiagniec logiki matematycznej. Instrukcje jezyków p.w l. przyjmuja postaci wzorów logicznych (p r e d y k a t ó w). P.w l. znajduje zastosowanie przy budowaniu inteligentnych Ä baz wiedzy, Ä systemów ekspertowych, w eksperymentach ze Ä sztuczna inteligencja. Zob. tez Prolog, MIS, jezyk imperatywny.
- jezyk imperatywny, ( imperative language...
- system ekspertowy, (system doradczy , expert...
- Prolog, (PROgramming in LOGi...