Information processing machine for interpretation of logic programming languages

摘要

An execution processor 10 equipped with a microprogrammable element 16 interacts via a bus 13 with a cellular memory 14, arranged to permit the creation of a trellis as well as that of cells of variable type. The execution processor 10 is microprogrammed for interpretation of a logic programming language such as PROLOG. The execution processor 10 interacts via requests with a memory management processor 12, with which there is associated a memory of the allocation status 15 of the cells of the memory 14. Working in alternate batches, the processor 12 runs through the trellises defined in the memory 14, so as to free the cells which have become unnecessary therein. This freeing is written into the allocation status memory 15. <IMAGE>