[引用][C] A matching tree oriented abstract machine for Prolog
NF Zhou, T Takagi, K Ushijima - Logic programming, 1990 - dl.acm.org
NF Zhou, T Takagi, K Ushijima
Logic programming, 1990•dl.acm.orgA matching tree oriented abstract machine for Prolog | Logic programming … A matching tree
oriented abstract machine for Prolog … A matching tree oriented abstract machine for Prolog …
oriented abstract machine for Prolog … A matching tree oriented abstract machine for Prolog …
We consider the problem of tree template matching, a type of tree pattern matching, where the tree templates have some of their leaves denoted as''don@? t care'', and propose a solution based on the bottom-up technique. Specifically, we transform the...
ACM Digital Library以上显示的是最相近的搜索结果。 查看全部搜索结果