Douglas R. Miles TeamSPoon

## gist:62b26d489e653fee87ee74aa983d043b

use hyperon::metta::*;
use hyperon::metta::interpreter::*;

fn main() {
    let space = metta_space("
            (= (append () $L $L)  True)
            (= (append (Cons $H $T) $L (Cons $H $R)) (append $T $L $R))


## cloudSettings
{"lastUpload":"2021-08-03T13:31:55.153Z","extensionVersion":"v3.4.3"}

## 8queens.html
<!DOCTYPE html>
<html>
<head>
<script type="text/javascript">
function makeContext() { return { choices:[], trail:[], halted:false }; }

// Push a new choice point onto the stack
function pushChoice( ctx, choiceThunk ) {
    ctx.choices.unshift( { thunk:choiceThunk, trailIndex:ctx.trail.length } );
}

	use hyperon::metta::*;
	use hyperon::metta::interpreter::*;

	fn main() {
	let space = metta_space("
	(= (append () $L $L) True)
	(= (append (Cons $H $T) $L (Cons $H $R)) (append $T $L $R))
	<!DOCTYPE html>
	<html>
	<head>
	<script type="text/javascript">
	function makeContext() { return { choices:[], trail:[], halted:false }; }

	// Push a new choice point onto the stack
	function pushChoice( ctx, choiceThunk ) {
	ctx.choices.unshift( { thunk:choiceThunk, trailIndex:ctx.trail.length } );
	}