معرفی و ارزیابی کتاب

Logic programming

John Lloyd; Association for logic programming

The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. Both conferences are held annually. The theme for the 1995 conference was "Declarative Systems", particularly the integration of the logi