IMPACT: Innovative Models for Prolog with Advanced Control and Tabling.

Ricardo Rocha, Ricardo Lopes, Fernando M. A. Silva, Vtor Santos Costa

Browse the full ICLP paper archive.