There is a great overview of λProlog from 1988: https://repository.upenn.edu/bitstreams/e91f803b-8e75-4f3c-9bf5-10ce15fe8186/download https://repository.upenn.e

There is a great overview of λProlog from 1988: https://repository.upenn.edu/bitstreams/e91f803b-8e75-4f3c-9bf5-10ce15fe8186/download https://repository.upenn.edu/bitstreams/e91f803b-8e75-4f3c-9...