rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add 'e' as evaluable functor for Euler's constant (#832)

Browse Source
This commit is contained in:
Mark Thom
2021-02-20 18:31:47 -07:00
parent a9fe2ab5c4
commit eb5ea28bcd
2 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/arithmetic.rs
View File

@@ -278,6 +278,12 @@ impl<'a> ArithmeticEvaluator<'a> {
&Constant::Rational(ref n) => self &Constant::Rational(ref n) => self
.interm .interm
.push(ArithmeticTerm::Number(Number::Rational(n.clone()))), .push(ArithmeticTerm::Number(Number::Rational(n.clone()))),
&Constant::Atom(ref name, _) if name.as_str() == "e" => {
self.interm
.push(ArithmeticTerm::Number(Number::Float(OrderedFloat(
f64::consts::E,
))))
}
&Constant::Atom(ref name, _) if name.as_str() == "pi" => { &Constant::Atom(ref name, _) if name.as_str() == "pi" => {
self.interm self.interm
.push(ArithmeticTerm::Number(Number::Float(OrderedFloat( .push(ArithmeticTerm::Number(Number::Float(OrderedFloat(

3
src/machine/arithmetic_ops.rs
View File

@@ -224,6 +224,9 @@ impl MachineState {
&HeapCellValue::Atom(ref name, _) if name.as_str() == "pi" => { &HeapCellValue::Atom(ref name, _) if name.as_str() == "pi" => {
interms.push(Number::Float(OrderedFloat(f64::consts::PI))) interms.push(Number::Float(OrderedFloat(f64::consts::PI)))
} }
&HeapCellValue::Atom(ref name, _) if name.as_str() == "e" => {
interms.push(Number::Float(OrderedFloat(f64::consts::E)))
}
&HeapCellValue::NamedStr(arity, ref name, _) => { &HeapCellValue::NamedStr(arity, ref name, _) => {
let evaluable_stub = MachineError::functor_stub(name.clone(), arity); let evaluable_stub = MachineError::functor_stub(name.clone(), arity);