ClojureDocs

导航

命名空间

run-db

  • (run-db n db 绑定 & 目标)
Executes goals until a maximum of n results are found. Uses a specified logic database.