Logic programming with extensible types /

Bibliographic Details

Main Authors:	Perez, Ivan (Research scientist) (Author), Herranz, Angel (Author)
Format:	Government Document eBook
Language:	English
Published:	Moffett Field, CA : National Aeronautics and Space Administration, Ames Research Center, August 2024.
Series:	NASA technical memorandum ; 20240010266.
Subjects:	Logic programming. Computer programming. Programming languages.
Online Access:	https://purl.fdlp.gov/GPO/gpo232371