value-function.rkt

; Ranks facts by querying a value function model server.

#lang racket

(require net/http-easy)
(require "facts.rkt")
(require "terms.rkt")
(require "questions.rkt")
(require "solver.rkt")

(define (make-neural-value-function [address "http://127.0.0.1:9911/"])
  (lambda (nodes)
    (let* ([examples (map (lambda (node)
                            (hash 'state (format-term (Fact-term (list-ref (MCTSNode-facts node)
                                                                           (- (length (MCTSNode-facts node)) 2))))
                                  'action (generate-formal-step-description
                                            (Fact-proof (last (MCTSNode-facts node)))
                                            (MCTSNode-facts node))))
                          nodes)]
           [res (post address #:json examples)]
           [scores (response-json res)])
     (response-close! res)
     scores)))

(provide make-neural-value-function)