小编Car*_*n H的帖子

嗨,我是Angular2/Typescript的新手,我正在尝试使用Angular2 Google Maps Components添加到我的Angular2项目中的地图样式,但我无法弄清楚如何使用其尚未记录的MapTypeStyle接口.如何在我的模块和html中使用它？地图模块可以工作,但我没有应用样式.任何帮助赞赏.

根据Google MapsTypeStyle参考

HTML:

<sebm-google-map [latitude]="lat" [longitude]="lng">
  <sebm-google-map-marker [latitude]="lat" [longitude]="lng"></sebm-google-map-marker>
</sebm-google-map>

模块(摘录)

export class GmapComponent implements OnInit {

  title: string = 'Current Location';
  lat: number = 50.937531;
  lng: number = 6.960278600000038;
  constructor() { }

  ngOnInit() {
  }
}

可能是一个奇怪而广泛的问题，而不是 100% 的编程问题，但我希望这没问题。我最近进行了一次讨论，Prolog 中的许多程序 don\xc2\xb4t 遵循严格的谓词逻辑（弗雷格的），但通常是“面向对象”，我试图掌握这一点。

我知道 Prolog 基于一阶谓词逻辑，尤其是 Horn 子句，它们是肯定前件的特殊形式。如果事实和规则单独出现，那么它们只是从句，但是一旦我添加多个出现，它们就成为谓词。

一阶谓词逻辑的量量如何表示并与事实、规则、谓词或一般的 Prolog 概念相关？函子表达什么以及与谓词逻辑相关的参数是什么。Prolog 中如何体现谓词逻辑和一阶谓词逻辑？Prolog 将它们的概念留在哪里？例如，我如何在谓词逻辑和一阶谓词逻辑中定义点、线和垂直线。

我如何在谓词逻辑和一阶谓词逻辑中表述这一点，它们之间的语义和逻辑区别是什么

vertical(line).\nline(vertical).\n

或者本例中的线和点。点和线不是谓词逻辑吗？\n对我来说，它是“点(X)所有点的集合”，当我选择一个具体点时，“存在一个点(110, 12)”。

point(X,Y).\nline(point(W,X), point(Y,Z)).\n\nvertical(line(point(X,Y), point(X,Z))).\nhorizontal(line(point(X,Y), point(Z,Y))).\n

任何信息都有帮助！非常感谢，H

我需要require_once主题中 lib 文件夹中的 php 文件，但仅限于登录页面（也是博客/帖子索引页面）。

当我将require_once代码单独添加到functions.php时，它工作正常，但也会在我需要阻止的所有页面和单个帖子上执行。

当我添加以下条件查询标签时，它们似乎被忽略，并且该文件不包含在主页上。

if ( is_front_page() && is_home() ) {
  require_once 'lib/example.php';
} 

我缺少什么以及推荐的方法是什么？

注意：这必须添加到主题的functions.php 文件中。